First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
671	Concepts for Concurrent Programming Fred B. Schneider1 Department of Computer Science Cornell University Ithaca, New York, U.S.A 14853 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 14:40:32 Type theory Model theory Formal methods Logic programming Data types Parallel computing Variable Guarded Command Language First-order logic Software engineering Mathematics Computing
672	LOGIC The Drill Nicholas J.J. Smith and John Cusbert c 2012 by Nicholas Jeremy Josef Smith and John Cusbert Add to Reading List Source URL: www-personal.usyd.edu.au Language: English - Date: 2014-11-29 05:43:59 Abstraction Axiology Proposition First-order logic Logic Science Mathematical logic
673	Safe Formulas in the General Theory of Stable Models (Preliminary Report) Joohyung Lee1 , Vladimir Lifschitz2 , and Ravi Palla1 1 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2008-09-10 19:37:33 Predicate logic Model theory Logical syntax Formal languages First-order logic Interpretation Stable model semantics Function Well-formed formula Logic Mathematical logic Mathematics
674	Absolute Identity and Absolute Generality Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:45 Predicate logic Model theory Semantics Philosophical logic Formal languages First-order logic Interpretation Function Identity Logic Mathematical logic Mathematics
675	Stalnaker on the Interaction of Modality with Quantification and Identity Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:49 Model theory Logical syntax Metalogic Philosophical logic First-order logic Well-formed formula Proposition Function Modal logic Logic Mathematics Mathematical logic
676	Differential Dynamic Logic for Verifying Parametric Hybrid Systems? Andr´e Platzer University of Oldenburg, Department of Computing Science, Germany Carnegie Mellon University, Computer Science Department, Pittsburgh, P Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:59 Model theory Predicate logic Logical truth Formal languages Symbol First-order logic Substitution Interpretation KeY Logic Mathematical logic Propositional calculus
677	Logical Prior Probability Abram Demski? Institute for Creative Technologies, 12015 Waterfront Drive, Playa Vista, CA[removed]Abstract. A Bayesian prior over first-order theories is defined. It is shown that the prior can b Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 10:01:49 Philosophical logic Model theory Entailment Metalogic Information theory Conditional probability Independence Modal logic Probabilistic logic Logic Probability theory Non-classical logic
678	A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics Dan Garrette, Katrin Erk, and Raymond Mooney Abstract First-order logic provides a powerful and flexible mechanism for representing natural lan Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-12 20:53:04 Propositional calculus Logical consequence Model theory Inference First-order logic Predicate Function Entailment Vector space model Logic Philosophical logic Semantics
679	Logic and Philosophy in the Twenty-First Century Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2010-12-02 05:16:29 Philosophical logic Model theory Logic in computer science Intuitionistic logic First-order logic Intuitionism Entailment Modal logic Paraconsistent logic Logic Mathematical logic Non-classical logic
680	George Englebretsen's Contribution to Traditional Formal Logic Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:25:56 Traditional logic Classical logic Term logic Philosophy of logic Syllogism Truth First-order logic Proposition Predicate Logic Philosophical logic Propositional calculus

UPDATE